Crate risc0_binfmt

Manages formatted binaries used by the RISC Zero zkVM

Structs

• MemoryImage
  An image of a zkVM guest’s memory
• PageTableInfo
• Program
  A RISC Zero program
• SystemState
  Represents the public state of a segment, needed for continuations and receipt verification.

Functions

• compute_image_id
  Compute and return the ImageID of the given (merkle_root, pc) pair.
• read_sha_halfs
• tagged_struct
  Implementation of the struct hash described in the recursion predicates RFC.
• write_sha_halfs